On the Role of Software Architectures in Runtime System Reconfiguration Peyman Oreizy Richard N. Taylor Information and Computer Science

Source URL: www.ics.uci.edu

Studies in Solution Sampling Vibhav Gogate and Rina Dechter Donald Bren School of Information and Computer Science, University of California, Irvine, CA 92697, USA. {vgogate,dechter}@ics.uci.edu

Source URL: www.hlt.utdallas.edu

A Type System for Lock-Free Processes1 Naoki Kobayashi Department of Computer Science, Graduate School of Information Science and Engineering Tokyo Institute of TechnologyOookayama, Meguro-ku, Tokyo, Jap

Source URL: www-kb.is.s.u-tokyo.ac.jp

Department of Computer Science Information Security and Database Systems from Medicine to Humanities Elisa Bertino CS Department, Cyber Center, and CERIAS

Source URL: www.issnaf.org

• Computing
• Data management
• Security
• Data
• E-commerce
• Big data
• Technology forecasting
• Transaction processing
• Internet privacy
• Privacy
• Elisa Bertino
• Data security

Technical image with pc board connected to testing wires. laptop, drawings and multimeter in scene.

Source URL: www.ece.ul.ie

• Computer network security
• Computer security
• Cryptography
• Cyberwarfare
• National security
• Secure communication
• Bachelor of Science in Information Technology
• University of Limerick
• Electrical engineering
• Pulchok Campus
• UP Diliman Electrical and Electronics Engineering Institute

brat: a Web-based Tool for NLP-Assisted Text Annotation Pontus Stenetorp1∗, Sampo Pyysalo2,3∗, Goran Topic´ 1, Tomoko Ohta1,2,3, Sophia Ananiadou2,3 and Jun’ichi Tsujii4 1 Department of Computer Science, Universit

Source URL: pontus.stenetorp.se

• Reference
• Book design
• Text annotation
• Annotation
• Knowledge
• Information
• Web annotation

Assisted Navigation for Large Information Spaces Brent M. Dennis and Christopher G. Healey Department of Computer Science, North Carolina State University Abstract This paper presents a new technique for visualizing larg

Source URL: www.csc.ncsu.edu

PETRI NET NEWSLETTER The rapid information service on Petri Nets and Related System Models published by the Special Interest Group on Petri Nets and related system models of the Gesellschaft für Informatik e.V. (GI) Two

Source URL: www.informatik.uni-hamburg.de

• Gesellschaft fr Informatik
• GI
• Petri net
• Petri
• Computer science
• Computing
• Software engineering

Trends and Challenges in Algorithmic Software Verification Rajeev Alur Department of Computer and Information Science University of Pennsylvania Email:

Source URL: vstte.ethz.ch

VIDA (Visual Information Density Adjuster) Allison Woodruff *, James Landay, and Michael Stonebraker Computer Science Division University of California, Berkeley Berkeley, CAUSA E-mail: {woodruff, landay, mike}@cs

Source URL: www.allisonwoodruff.com